(0 18 15)(1 19 3)(2 10 7)(4 12 6)(5 20 9)(8 14 11)(13 17 16)
ALLOWS (11/8)-SEQUENCE
1: (5 9 20)

(0 18 15)(1 19 3)(2 10 7)(4 12 6)(5 9 20)(8 14 11)(13 17 16)
2: (4 12 6)

(0 18 15)(1 19 3)(2 10 7)(4)(5 9 20)(6)(8 14 11)(12)(13 17 16)
3: (5 9 20)

(0 18 15)(1 19 3)(2 10 7)(4)(5)(6)(8 14 11)(9)(12)(13 17 16)(20)
4: (8 14 11)

(0 18 15)(1 19 3)(2 10 7)(4)(5)(6)(8)(9)(11)(12)(13 17 16)(14)(20)